Subdirect product construction of concept lattices

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Construction and Applicaton of Grey Concept Lattices

Grey numbers facilitate the representation of uncertainty not only for elements of a set, but also the set itself as a whole. This paper utilizes the notion of possibility degree from grey system theory coupled with the idea of dominance relation and partial order set (poset) from rough theory to represent uncertain information in a manner that maintains the degree of uncertainty of information...

متن کامل

The Uniqueness of a Certain Type of Subdirect Product

We introduce the "$type{lffs}$ subdirect product" and show that every ring is uniquely a $type{lffs}$ subdirect product of a family of $simple{basicls}$ rings. Also we show some applications.

متن کامل

Algebraicity and the Tensor Product of Concept Lattices

In this paper we prove that the tensor product of complete lattices, as it is defined in formal context analysis, preserves algebraicity. The proof of this fact is based on the compactness of propositional logic. We use this property to show that the box product of p0,_q-semilattices, introduced by G.Grätzer and F.Wehrung in 1999, can be obtained from the tensor product of concept lattices in a...

متن کامل

The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition

In this paper all subdirectly irreducible pseudocomplemented distributive lattices are found. This result is used to establish a Stone-like representation theorem conjectured by G. Grätzer and to find all equational subclasses of the class of pseudocomplemented distributive lattices.

متن کامل

A Subdirect-union Representation for Completely Distributive Complete Lattices

4. Proof of Theorem 2. Harish-Chandra [l] and others have proved that every Lie algebra over a field of characteristic zero has a faithful representation. Consequently by Lemma 4, 8 has a faithful representation x—*Qx whose matrices have elements in an algebraic extension $ of g such that t(QxQv) =0 for all x of 31 and all y of 8. We now apply another form of Cartan's criterion for solvability ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Discrete Mathematics

سال: 1987

ISSN: 0012-365X

DOI: 10.1016/0012-365x(87)90019-7